Formal methods in programming and their applications - proceedings
- Författare
- (International Conference Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.).)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Vlg | cop. 1993 | Tyskland, Berlin, New York | ix, 433 sidor. ill. |